Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783540734192
Format: Paperback (953 pages) Publisher: Springer Published: 29 Jun 2007
Save for later
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, ... 906 (Lecture Notes in Computer Science)
by Gianna Reggio,Egidio Astesiano,Andrzej Tarlecki
ISBN 13: 9783540591320
Format: Paperback (540 pages) Publisher: Springer Published: 13 Jun 2008
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science)
by John Fitzgerald,Ian J. Hayes,Andrzej Tarlecki
ISBN 13: 9783540278825
Format: Illustrated (580 pages) Publisher: Springer Published: 22 Aug 2005
Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers: 332 (Lecture Notes in Computer Science)
by Andrzej Tarlecki,Donald Sannella
ISBN 13: 9783540503255
Format: Paperback (276 pages) Publisher: Springer Published: 13 Jun 2008